meet semi-lattice

交半格